Orthodoxy has it that mereological composition can never be a vague matter, for if it were, then existence would sometimes be a vague matter too, and that's impossible. I accept that vague composition implies vague existence, but deny that either is impossible. In this paper I develop degree-theoretic versions of quantified modal logic and of mereology, and combine them in a framework that allows us to make clear sense of vague composition and vague existence, and the relationships between them.

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

This article uncovers a foundational relationship between the ‘gauge symmetry’ of a Newton-Cartan theory and the celebrated Trautman Recovery Theorem and explores its implications for recent philosophical work on Newton-Cartan gravitation.

I have argued for a picture of decision theory centred on the principle of Rationally Negligible Probabilities. Isaacs argues against this picture on the grounds that it has an untenable implication. I first examine whether my view really has this implication; this involves a discussion of the legitimacy or otherwise of infinite decisions. I then examine whether the implication is really undesirable and conclude that it is not.

The fossil record plays a key role in reconstructing deep evolutionary relationships through its documentation of the early diverging stem groups leading to extant phyla. In the middle Cambrian Burgess Shale, two famously problematic worms, Odontogriphus and Wiwaxia, have recently been reinterpreted as stem‐group molluscs based on their shared expression of a putative radula and putative ctenidia in Odontogriphus.1 More detailed analysis of these fossil structures, however, reveals pronounced anatomical and histological discrepancies with molluscan analogues, such that they are more (...) reliably interpreted as primitive features of the superphylum Lophotrochozoa. In the absence of any obviously derived characters, Odontogriphus could be placed in the stem group of the Lophotrochozoa or on the stem of any of its constituent phyla, whereas the dorsal covering of chaetae in Wiwaxia identifies it as a stem‐group polychaete. Despite their close relationship, these two jawed, segmented worms could conceivably represent the early stages of two separate phyla. BioEssays 28: 1161–1166, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

This paper presents a new theory of vagueness, which is designed to retain the virtues of the fuzzy theory, while avoiding the problem of higher-order vagueness. The theory presented here accommodates the idea that for any statement S₁ to the effect that 'Bob is bald' is x true, for x in [0, 1], there should be a further statement S₂ which tells us how true S₁ is, and so on - that is, it accommodates higher-order vagueness without resorting to the (...) claim that the metalanguage in which the semantics of vagueness is presented is itself vague, and without requiring us to abandon the idea that the logic - as opposed to the semantics - of vague discourse is classical. I model the extension of a vague predicate P as a blurry set, this being a function which assigns a degree of membership or degree function to each object o, where a degree function in turn assigns an element of [0, 1] to each finite sequence of elements of [0, 1]. The idea is that the assignment to the sequence (0.3, 0.2), for example, represents the degree to which it is true to say that it is 0.2 true that o is P to degree 0.3. The philosophical merits of my theory are discussed in detail, and the theory is compared with other extensions and generalisations of fuzzy logic in the literature. (shrink)

Beyond Health applies post-structuralist and postmodern ideas to issues of health and health care to provide a radical re-think of how health is to be understood. It offers a perspective in which health is seen as an affirmation of potential rather than as a narrow biopsychosocial construct. The author develops his notion of arche-health and in so doing provides a lucid account of a wide range of post-structuralist and postmodern theoretical perspectives and their relevance to the field of health. This (...) text explains complex ideas so even a reader with no previous background in the topic can grasp it. In each chapter the author explains and applies a selection of theoretical perspectives. (shrink)

The "justice of markets" is intricately connected to the treatment of the poor and the disadvantaged in market economies. The increased interest of multinational corporations in low-income market segments affords, on one hand, the opportunity for a more inclusive capitalism, and on the other, the threat of greater exploitation of poor and disadvantaged consumers. This article traces the contributions of Catholic Social Teaching and its basic principles toward providing insight into what constitutes "justice" in such "marketing to the impoverished" situations.

Rosanna Keefe (`Vagueness by Numbers' MIND 107 1998 565--79) argues that theories of vagueness based upon fuzzy logic and set theory rest on a confusion: once we have assigned a number to an object to represent (for example) its *height*, there is no distinct purpose left to be served by assigning a number to the object to represent its *degree of tallness*; she claims that ``any numbers assigned in an attempt to capture the vagueness of `tall' do no more than (...) serve as another measure of height.'' In this paper I defend fuzzy theories of vagueness against Keefe's attack. I show that the numbers that we assign to objects to measure (for example) heights serve a quite distinct purpose from the numbers that fuzzy theories of vagueness assign to objects to measure degrees of tallness: the two sorts of assignment are both *formally* and *conceptually* distinct; the fuzzy approach to vagueness is well-motivated and free of confusion. (shrink)

A many-valued (aka multiple- or multi-valued) semantics, in the strict sense, is one which employs more than two truth values; in the loose sense it is one which countenances more than two truth statuses. So if, for example, we say that there are only two truth values—True and False—but allow that as well as possessing the value True and possessing the value False, propositions may also have a third truth status—possessing neither truth value—then we have a many-valued semantics in the (...) loose but not the strict sense. A many-valued logic is one which arises from a many-valued semantics and does not also arise from any two-valued semantics [Malinowski, 1993, 30]. By a ‘logic’ here we mean either a set of tautologies, or a consequence relation. We can best explain these ideas by considering the case of classical propositional logic. The language contains the usual basic symbols (propositional constants p, q, r, . . .; connectives ¬, ∧, ∨, →, ↔; and parentheses) and well-formed formulas are defined in the standard way. With the language thus specified—as a set of well-formed formulas—its semantics is then given in three parts. (i) A model of a logical language consists in a free assignment of semantic values to basic items of the non-logical vocabulary. Here the basic items of the non-logical vocabulary are the propositional constants. The appropriate kind of semantic value for a proposition is a truth value, and so a model of the language consists in a free assignment of truth values to basic propositions. Two truth values are countenanced: 1 (representing truth) and 0 (representing falsity). (ii) Rules are presented which determine a truth value for every proposition of the language, given a model. The most common way of presenting these rules is via truth tables (Figure 1). Another way of stating such rules—which will be useful below—is first to introduce functions on the truth values themselves: a unary function ¬ and four binary functions ∧, ∨, → and ↔ (Figure 2).. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Eucharistic Form of God: Trinity, Incarnation, and Sacrament in the Theology of Hans Urs von Balthasar by Jonathan Martin CirauloNicholas J. HealyThe Eucharistic Form of God: Trinity, Incarnation, and Sacrament in the Theology of Hans Urs von Balthasar. By Jonathan Martin Ciraulo. Notre Dame, Ind.: University of Notre Dame Press, 2022. Pp. xiii + 297. $50.00 (hardcover). ISBN: 978-0-268-20223-1.In Fides et Ratio 93, under the heading “current (...) tasks for theology,” John Paul II writes:The chief purpose of theology is to provide an understanding of Revelation and the content of faith. The very heart of theological enquiry will thus be the contemplation of the mystery of the Triune God. The approach to this mystery begins with reflection upon the mystery of the Incarnation of the Son of God: his coming as man, his going to his Passion and Death.... From this vantage-point, the prime commitment of theology is seen to be the understanding of God’s kenosis, a grand and mysterious truth for the human mind, which finds it inconceivable that suffering and death can express a love which gives itself and seeks nothing in return. In this light, a careful analysis of texts emerges as a basic and urgent need: first the texts of Scripture, and then those which express the Church’s living Tradition. On this score, some problems have emerged in recent times, problems which are only partially new; and a coherent solution to them will not be found without philosophy’s contribution.These words about the mystery of Jesus Christ’s life and death as a revelation of the Triune God—and about the emergence of new difficulties and questions—underscore the importance of a dialogue between St. Thomas Aquinas and the great twentieth-century theologian Hans Urs von Balthasar. As two recent books written from a Thomistic perspective have shown (Aidan Nicholas, Balthasar for Thomists [San Francisco: Ignatius Press, 2020]); [End Page 715] Matthew Levering, The Achievement of Hans Urs von Balthasar [Washington, D.C.: The Catholic University of America Press, 2019]), Balthasar’s profound indebtedness to the metaphysics of Aquinas provides a solid foundation for dialogue. And yet a number of difficulties remain. What is the relationship between the so-called real distinction of esse and essence and the hypostatic union of two natures in the person of the Son? How and in what sense does the paschal mystery of Jesus’s death and Resurrection presuppose and express the mystery of the Father’s eternal generation of the Son? In the words of Joseph Ratzinger, “in the pierced heart of the Crucified, God’s own heart is opened up—here we see who God is and what he is like” (Spirit of the Liturgy [San Francisco: Ignatius Press, 2000], 48). How does the mystery of Christ’s Eucharist reveal the heart of God?This last question about the Eucharist and the nature of God is explored in depth in Jonathan Martin Ciraulo’s monograph, The Eucharistic Form of God: Hans Urs von Balthasar’s Sacramental Theology. Despite the expansive title, the primary aim of this book is fairly straightforward: to present Balthasar’s theology of the Eucharist and to show the significance of his thought for contemporary sacramental theology. Anyone who seeks to offer a systematic account of Balthasar’s theology of the Eucharist is confronted with at least two basic obstacles or challenges. First, his reflections on the Eucharist are scattered throughout (and often hidden within) an immense and complex corpus of writings. Second, the most distinctive feature of Balthasar’s theology of the Eucharist is the inseparability of his sacramental theology from his speculative account of the central mysteries of the Christian faith—Trinity, Incarnation, Cross and Resurrection, Church, and eschaton.The Eucharistic Form of God represents a thoughtful, well-written, and original response to this twofold challenge. Regarding the first point: Ciraulo demonstrates an intimate familiarity with the whole of Balthasar’s corpus. He draws together Balthasar’s early writings on German literature, his monographs on Origen, Gregory of Nyssa, and Maximus the Confessor, his engagement with Karl Barth, his interpretation of twentieth-century French Catholic literature... (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with (...) formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (shrink)

One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...) of truth. The paper furthermore argues that a subtly different definition—also to be found in classic textbooks but much less prevalent than the kind of definition that proceeds via satisfaction—succeeds from this point of view. (shrink)

At the opening of the twenty-first century, while obviously the world is still struggling with violence and conflict, many commentators argue that there are many reasons for supposing that restrictions on the use of force are growing. The establishment of the International Criminal Court, the growing sophistication of international humanitarian law and the 'rebirth' of the just war tradition over the last fifty years are all taken as signs of this trend. This book argues that, on the contrary, the just (...) war tradition, allied to a historically powerful and increasingly dominant conception of politics in general, is complicit with an expansion of the grounds of supposedly legitimate force, rather than a restriction of it. In offering a critique of this trajectory, 'Just War and International Order' also seeks to illuminate a worrying trend for international order more generally and consider what, if any, alternative there might be to it. (shrink)

This paper presents a new solution to the problems for orthodox decision theory posed by the Pasadena game and its relatives. I argue that a key question raised by consideration of these gambles is whether evaluative compositionality (as I term it) is a requirement of rationality: is the value that an ideally rational agent places on a gamble determined by the values that she places on its possible outcomes, together with their mode of composition into the gamble (i.e. the probabilities (...) assigned to them)? The paper first outlines a certain simple response to the Pasadena game and identifies two problems with this response, the second of which is that it leads to a wholesale violation of evaluative compositionality. I then argue that rationality does not require decision makers to factor in outcomes of arbitrarily low probability. A method for making decisions which flows from this basic idea is then developed, and it is shown that this decision method (Truncation) leads to a limited — as opposed to wholesale — violation of evaluative compositionality. The paper then argues that the truncation method yields solutions to the problems posed by the Pasadena game and its relatives that are both attractive in themselves and superior to those yielded by alternative proposals in the literature. (shrink)

A philosophical treatment of the idea of authority, this book is a dialogue between three characters. "Director," a philosopher, challenges the others to think through their ideas of authority, how it is established, how it works, and how it can be either subtle or bold.

Foundations of Relational Realism: A Topological Approach to Quantum Mechanics and the Philosophy of Nature by Michael Epperson and Elias Zafiris sets out to achieve three goals: to develop a version of Whiteheadian metaphysics that the authors call “relational realism”; to formalize relational realism in terms of category theory, in particular sheaf theory; and to use relational realism to solve the interpretative problems of quantum mechanics. These goals are ambitious, to say the least, and all this is leaving aside those (...) sections of FRR which argue that relational realism yields the key to understanding quantum gravity!The text is 388 pages long and comprises two parts. Part I, by Epperson, introduces relational realism and its application to quantum mechanics. Part II, by Zafiris, develops the sheaf theory formalism for relational realism. As the authors say, their exposition is “nonlinear”, and this feature of FRR, alon .. (shrink)

Rovelli’s “Why Gauge?” offers a parable to show that gauge-dependent quantities have a modal and relational physical significance. We subject the morals of this parable to philosophical scrutiny and argue that, while Rovelli’s main point stands, there are important disanalogies between his parable and Yang-Mills type gauge theory.

Study on the logic of normative discourse.

The socio-economic “pro-democracy” revolutions which are currently sweeping the Soviet Union and Eastern Europe in the name of glasnost and perestroika have virtually stunned all but the best informed in the Western World. The demand for reform throughout the so-called “Soviet block,” and the concomitant impatience with the progress of these changes in the economic and basic social fabric of these societies, have come to exhibit an urgency which few observers, if any, had been able to forecast a few short (...) years ago. The declarations by some members of the U.S. Congress that these changes are indicative of the fact that the cold war has been won by the West, and that we are now witnessing the precipitous collapse of Marxist ideology, together with the widespread sentiment that there is “no going back” to the repressive Leninist-inspired regimes of Stalin, Khruschev, and Brezhniev are all synergistic to the creation of a sentiment of optimism that indeed we have turned the corner in East-West relations. To a world which has lived under the long night of thermonuclear extinction for over four decades, the feeling accompanying the prospect of a possible end to the nightmare of Armageddon further enhances the euphoric sentiment. (shrink)

This paper presents a new argument against A-theories of time. A-theorists hold that there is an objective now (present moment) and an objective flow of time, the latter constituted by the movement of the objective now through time. A-theorists therefore want to draw different pictures of reality—showing the objective now in different positions—depending upon the time at which the picture is drawn. In this paper it is argued that the times at which the different pictures are drawn may be taken (...) to be normal times or hypertimes. If they are normal times then the A-theory is inconsistent, or else collapses to the B-theory—and appealing to primitive tense operators will not help A-theorists avoid this conclusion. If the times are hypertimes then the A-theory is consistent, but deeply problematic none the less. (shrink)

The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to understand the true nature (...) and source of the problem. Two possible sources are discussed: the problem stems from the very nature of vagueness—from the defining features of vague predicates; or the problem stems from the way in which the meanings of predicates are determined—by the usage of speakers together with facts about their environment and so on. I argue that the latter is the true source of the problem, and on this basis that fuzzy plurivaluationism is the correct solution. (shrink)

My task here is the first one. I do present a consistent formal system and claim that it provides a perfect model of natural languages such as English, but this system involves no surprises. It is none other than the standard framework of classical logic and model theory. The real weight of the argument lies in the claim that the classical framework—without alteration or addition—contains the resources to model what happens when we say in English ‘This sentence is not true’.

In this paper, I discuss one form of the idea that spacetime and gravity might ‘emerge’ from quantum theory, i.e. via a holographic duality, and in particular via AdS/CFT duality. I begin by giving a survey of the general notion of duality, as well as its connection to emergence. I then review the AdS/CFT duality and proceed to discuss emergence in this context. We will see that it is difficult to find compelling arguments for the emergence of full quantum gravity (...) from gauge theory via AdS/CFT, i.e. for the boundary theory's being metaphysically more fundamental than the bulk theory. (shrink)

In formal modelling, it is essential that models be supplied with an interpretative story: there must be a clear and coherent account of how the formal model relates to the phenomena it is supposed to model. The traditional representation of degrees of belief as mathematical probabilities comes with a clear and simple interpretative story. This paper argues that the model of degrees of belief as imprecise probabilities (sets of probabilities) lacks a workable interpretation. The standard interpretative story given in the (...) literature is shown to lead to unacceptable results -- and, it is argued, there is no way for imprecise probabilists to restrict, replace or finesse this story so as either to avoid or to be able to live with the consequences. Thus the imprecise probabilist lacks a viable account of how a set of probability functions models a belief state: a story about which properties of the model correspond to facts about the thing modelled and how exactly we are to extract information about an agent's belief state from a set of probabilities. (shrink)

In this superb introduction, Nicholas Dent covers the whole of Rousseau's thought. Beginning with a helpful overview of Rousseau's life and works, he introduces and assesses Rousseau's central ideas and arguments. These include the corruption of modern civilization, the state of nature, his famous theories of _amour de soi _and _amour propre_, education, and his famous work _Emile_. He gives particular attention to Rousseau's theories of democracy and freedom found in his most celebrated work, _The Social Contract_, and explains (...) what Rousseau meant by the 'general will'. (shrink)

This paper presents and defends a definition of vagueness, compares it favourably with alternative definitions, and draws out some consequences of accepting this definition for the project of offering a substantive theory of vagueness. The definition is roughly this: a predicate 'F' is vague just in case for any objects a and b, if a and b are very close in respects relevant to the possession of F, then 'Fa' and 'Fb' are very close in respect of truth. The definition (...) is extended to cover vagueness of many-place predicates, of properties and relations, and of objects. Some of the most important advantages of the definition are that it captures the intuitions which motivate the thought that vague predicates are tolerant, without leading to contradiction, and that it yields a clear understanding of the relationships between higher-order vagueness, sorites susceptibility, blurred boundaries, and borderline cases. The most notable consequence of the definition is that the correct theory of vagueness must countenance degrees of truth. (shrink)

This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

It's Game Time!: Games to Enhance Classroom Learning enables the teacher to decide when and how to use games to effectively complement their teaching philosophy and style to meet the needs of their students by providing over 40 games that can be used in any class at any level.

This article argues that the field of asset pricing theory is undergoing a scientific revolution in Kuhnian terms. The orthodox view is one of determinate change in causal processes and inherent stability whereby financial markets, left unfettered, allocate nearly perfectly society's scare capital. However, decades of mounting anomalous evidence against the implications of stable causal processes perpetuated by conventional models based on efficient markets and the rational expectations hypothesis have paved the way for alternative avenues of research. Although various approaches (...) are being developed, the imperfect knowledge economics class of models has emerged as a potential new paradigm in the field of macro-finance. By stopping short of fixing in advance the specification of individual forecasting behavior and the causal process, the IKE class of models has been able to reconcile many of the puzzles found within the literature on asset price behavior and risk. (shrink)

The idea that gauge theory has `surplus' structure poses a puzzle: in one much discussed sense, this structure is redundant; but on the other hand, it is also widely held to play an essential role in the theory. In this paper, we employ category-theoretic tools to illuminate an aspect of this puzzle. We precisify what is meant by `surplus' structure by means of functorial comparisons with equivalence classes of gauge fields, and then show that such structure is essential for any (...) theory that represents a rich collection of physically relevant fields which are `local' in nature. (shrink)

There is an extensive literature on time travel in both philosophy and physics. Part of the great interest of the topic stems from the fact that reasons have been given both for thinking that time travel is physically possible—and for thinking that it is logically impossible! This entry deals primarily with philosophical issues; issues related to the physics of time travel are covered in the separate entries on time travel and modern physics and time machines. We begin with the definitional (...) question: what is time travel? We then turn to the major objection to the possibility of backwards time travel: the Grandfather paradox. Next, issues concerning causation are discussed—and then, issues in the metaphysics of time and change. We end with a discussion of the question why, if backwards time travel will ever occur, we have not been visited by time travellers from the future. (shrink)

Simply put, charter schools have not lived up to their advocates’ promise of equity. Using examples of tangible civil rights gains of the twentieth century and extending feminist theories of invisible labor to include the labor of democracy, the authors argue that the charter movement renders invisible the labor that secured civil protections for historically marginalized groups. The charter movement hangs a quality public education—previously recognized as a universal guarantee—on the education consumer’s ability to navigate a marketplace. The authors conclude (...) that the neoliberal agenda of positioning choice as the best mechanism for securing an education rolls back the rights that were already secured through the labor of democracy. (shrink)